bitkeeper revision 1.1236.1.154 (4249c430s6iKHaP4AAIWnJQScN1CyA)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 29 Mar 2005 21:10:08 +0000 (21:10 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 29 Mar 2005 21:10:08 +0000 (21:10 +0000)
commit4ce9d9d80e937f5334a389d028a84870ba93e477
tree53d65c7abba19ac0f55e4b7af1f09f0f5bc3e21e
parent4db4a21930ea5baef78d4a24d5b2fee43c975829
bitkeeper revision 1.1236.1.154 (4249c430s6iKHaP4AAIWnJQScN1CyA)

Fix lazy state switching when context-switching to/from the idle
domain. Track which domain's state is on each CPU and, for each
domain, which CPUs are running on its page tables.
Signed-off-by: Keir Fraser <keir@xensource.com>
15 files changed:
xen/arch/ia64/xenmisc.c
xen/arch/x86/domain.c
xen/arch/x86/domain_build.c
xen/arch/x86/mm.c
xen/arch/x86/shadow.c
xen/arch/x86/smp.c
xen/arch/x86/x86_32/mm.c
xen/arch/x86/x86_64/mm.c
xen/common/dom0_ops.c
xen/common/page_alloc.c
xen/common/schedule.c
xen/include/asm-x86/mm.h
xen/include/public/xen.h
xen/include/xen/sched.h
xen/include/xen/smp.h